Coincidence of the upper Vietoris topology and the Scott topology
نویسندگان
چکیده
• The conditions are investigated under which the upper Vietoris topology coincides with Scott on K ( X ) . For a well-filtered space having first-countable Smyth power space, and coincide. T 0 in set of minimal elements any compact saturated subset, its is first-countable. Alexandroff double circle, first-countable, not , let be poset all non-empty sets reverse inclusion order. said to have property Q if for 1 2 ∈ ≪ iff ⊆ int In this paper, we give several connections among well-filteredness sobriety local compactness core coincidence continuity x ↦ ↑ : ⟶ Σ (where ). It shown that P S following three properties equivalent: also proved countable subset circle Y Hausdorff show
منابع مشابه
Quantale-valued fuzzy Scott topology
The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...
متن کاملThe Scott Topology . Part II
The following propositions are true: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and ⋃ G = ⋃ F and for every subset g of X such that g ∈ G holds g 6⊆ ⋃ (G \ {g}). (2) Let S be a 1-sorted structure and X be a subset of the carrier of S. Then −X = the carrier of S if and only if X is empty. (3) Let R be an antisy...
متن کاملThe Scott Topology . Part II 1
Mizar formalization of pp. 105–108 of [10] which continues [27]. We found a simplification for the proof of Corollary 1.15, in the last case, see the proof in the Mizar article for details. One can prove the following propositions: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and G = F and for every subset g of ...
متن کاملA kind of fuzzy upper topology on L-preordered sets
Considering a commutative unital quantale L as the truth value table and using the tool of L-generalized convergence structures of stratified L-filters, this paper introduces a kind of fuzzy upper topology, called fuzzy S-upper topology, on L-preordered sets. It is shown that every fuzzy join-preserving L-subset is open in this topology. When L is a complete Heyting algebra, for every completel...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2021
ISSN: ['1879-3207', '0166-8641']
DOI: https://doi.org/10.1016/j.topol.2020.107480